ccsucc(${\it id}$;${\it num}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr inr inr $<$${\it id}$, ${\it num}$$>$